2 6 M ar 2 01 5 FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS
نویسنده
چکیده
We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain
منابع مشابه
Forcing Constructions and Countable Borel Equivalence Relations
We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain
متن کاملCountable abelian group actions and hyperfinite equivalence relations
An equivalence relation E on a standard Borel space is hyperfinite if E is the increasing union of countably many Borel equivalence relations En where all En-equivalence classs are finite. In this article we establish the following theorem: if a countable abelian group acts on a standard Borel space in a Borel manner then the orbit equivalence relation is hyperfinite. The proof uses constructio...
متن کاملNew Reals: Can Live with Them, Can Live without Them (draft)
A simplified version of this case appeared in Section 5 of Goldstern’s Tools for your forcing constructions [2]. This version uses the additional requirement that every forcing of the iteration adds a new real. Note that this requirement is met in most applications, but the case of forcings not adding reals has important applications as well (and not adding reals is generaly not preserved under...
متن کاملForcing the Truth of a Weak Form of Schanuel’s Conjecture
Schanuel’s conjecture states that the transcendence degree over Q of the 2n-tuple (λ1, . . . , λn, e λ1 , . . . , en) is at least n for all λ1, . . . , λn ∈ C which are linearly independent over Q; if true it would settle a great number of elementary open problems in number theory, among which the transcendence of e over π. Wilkie [11], and Kirby [4, Theorem 1.2] have proved that there exists a...
متن کاملN ov 2 00 5 Limit groups , positive - genus towers and measure equivalence
An ω-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus ω-residually free tower. By combining this with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups. Measure equivalence was introduced by M. Gromov in [8] as a measu...
متن کامل